FLINT: Fault Localisation using Information Theory

نویسندگان

  • S. Yoo
  • D. Clark
چکیده

Test case prioritisation techniques aim to maximise the chance of fault detection as early in testing as possible. This is most commonly achieved by prioritising the tests according to a surrogate measure that is thought to correspond to fault detection capabilities, such as code coverage. However, once the prioritised test suite indeed detects a fault, the original prioritisation may become obsolete. Rather, from the point of the first fault detection, the aim of the prioritisation should be that it should maximise the chance of locating the detected fault. This paper introduced a novel dynamic test prioritisation technique that is based on Shannon’s entropy. Fault localisation is formulated as a process of decreasing the entropy calculated over the test information. The dynamic test case prioritisation uses both the coverage information from the previous testing and the results from the current testing and selects the next test that is most likely to reduce the entropy of information regarding the locality of the fault, maximising the chance of identifying the location of the fault whenever the testing is terminated.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Rethinking Multi-Layer Multi-Domain Network Monitoring

Accurate and efficient network fault localisation based on monitoring is obviously one of the vital but also formidable tasks for successful network operations. With proliferations of large-scale network services, e.g. Géant E2E links, monitoring and fault localisation across multiple domains with data obtained from different network layers are becoming unprecedentedly important. Many efforts h...

متن کامل

Limited-perimeter vector matching fault-localisation protocol for transparent all-optical communication networks

A novel fault-localisation protocol is constructed based on the principles of distributed control and management mechanisms. The proposed protocol has high scalability and speed, but at the cost of increased computational complexity. To provide the maximum level of transparency, the protocol skips any optical power monitoring or spectrum analysis at the intermediate nodes of established lightpa...

متن کامل

Probabilistic Fault Localisation

Efficient fault localisation is becoming increasingly important as software grows in size and complexity. In this paper we present a new formal framework, denoted probabilistic fault localisation (pfl), and compare it to the established framework of spectrum based fault localisation (sbfl). We formally prove that pfl satisfies some desirable properties which sbfl does not, empirically demonstra...

متن کامل

Coverage-Based Trace Signal Selection for Fault Localisation in Post-silicon Validation

Post-silicon validation is the time-consuming process of detecting and diagnosing defects in prototype silicon. It targets electrical and functional defects that escaped detection during pre-silicon verification. While the at-speed execution of test scenarios facilitates a higher test coverage than pre-silicon simulation, this comes at the cost of limited observability of signals in the integra...

متن کامل

Sensitivity Analysis of Spectrum-based Fault Localisation for Multi-Agent Systems

Diagnosing unwanted behaviour in Multi-Agent Systems (MASs) is a crucial task to assure the correct operation of a system. A light-weight technique inspired by the software-engineeringoriented techniques, the we have coined Extended Spectrum-based Fault Localisation for Multi-Agent Systems (ESFL-MAS) can be used to shorten the diagnose cycle by reducing the testing effort. As the technique reli...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2011